Merge branch 'gdkmonitor-x11-manufacturer' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Sun, 25 Aug 2019 11:58:02 +0000 (11:58 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Sun, 25 Aug 2019 11:58:02 +0000 (11:58 +0000)
gdk: x11: Fill GdkMonitor manufacturer with PNP id from EDID

Closes #1765

See merge request GNOME/gtk!859


Trivial merge